Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
911	A Characterization of Interventional Distributions in Semi-Markovian Causal Models Jin Tian and Changsung Kang Department of Computer Science Iowa State University Ames, IA 50011 Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-04-25 20:04:35 Causality Logical syntax Stochastic processes Conditionals Bayesian network Causal model Entailment Markov process Causal diagram Statistics Logic Statistical models
912	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-05-03 19:17:14 Temporal logic Model theory Propositional calculus Mathematical logic Interpretation Substitution Well-formed formula Logic Formal languages Linear temporal logic
913	Technical Report UCAM-CL-TR-568 ISSNNumber 568 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:56:16 Logic in computer science Models of computation Programming language semantics Type theory Lambda calculus Name binding Type system Operational semantics Programming language Theoretical computer science Programming language theory Software engineering
914	An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C Robbert Krebbers ∗ ICIS, Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: robbertkrebbers.nl Language: English - Date: 2013-11-12 14:05:28 Logic in computer science Forcing Deduction Combinatory logic Lambda calculus Denotational semantics Valuation Symbol Entailment Logic Abstract algebra Mathematical logic
915	A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis∗ Iliano Cervesato Nancy A. Durgin Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 02:19:22 Logic in computer science Multiset Π-calculus Petri net Rewriting Mathematics Theoretical computer science Applied mathematics
916	Representing “why’s” a proof language for IsaPlanner Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google Wednesday, 27 April 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Combinatory logic Logic in computer science Function IsaPlanner Mathematics Mathematical logic Lambda calculus
917	Directions in Functional Programming for Real(-Time) Applications? Walid Taha?? , Paul Hudak, Zhanyong Wan Department of Computer Science, Yale University, New Haven, CT, USA. {taha,hudak,zwan}@cs.yale.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2002-02-25 08:31:05 Computability theory Theoretical computer science Models of computation Type theory Logic in computer science Monad Lambda calculus Functional programming Type system Software engineering Computing Computer programming
918	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, FParis (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:32:40 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
919	European Journal of Science and Engineering Vol. 1, Issue 1, 2013 ADAPTIVE NEURO-FUZZY INFERENCE SYSTEM IDENTIFICATION OF AN INDUCTION MOTOR Add to Reading List Source URL: www.sustech.edu Language: English - Date: 2014-12-03 10:11:38 Science Fuzzy logic Cybernetics Computational neuroscience Neuro-fuzzy Logic in computer science Fuzzy control system Adaptive neuro fuzzy inference system Artificial neural network Neural networks Artificial intelligence Logic
920	Distributed Interactive Learning in Multi-Agent Systems Jian Huang and Adrian R. Pearce Department of Computer Science and Software Engineering NICTA Victoria Laboratory The University of Melbourne Victoria 3010, Austral Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Reasoning Cybernetics Problem solving Multi-agent systems Artificial intelligence Common knowledge Machine learning Inductive logic programming Agent-based model Science Knowledge Logic